退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用UmL-RsDs解决petri网到状态图转换案例
Pieter Van Gorp; Louis M. Rose; Christian Krause (eds; K. Lano; S. Kolahdouz-rahimi; K. Maroukian;
机译:同时在PETRI网络中射击,在解决狄克斯特拉问题上的应用
机译:向Petri网转换的UML状态图形式化方法。
机译:基于融合图变换的状态图可视解释器语义
机译:用于在UML-RSDS中指定双向变换的模式
机译:使用lie变换组的算法代数求解一阶常微分方程。
机译:解决了深海之谜:惊人的幼虫转变和极端的性二态性将三个鱼族团结在一起
机译:从模型到Petri-Net转换
机译:向Petri网转换的模型
机译:自动解决联立类型方程式以重新设计代码的类型差异转换
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。